Non-classical logic - PDFSEARCH.IO - Document Search Engine

Non-classical logic
Results: 703

#	Item
141	Lecture 3: A Case for the Rational Revisability of Logic. Earlier discussions on rational revisability of logic: Putnam: to understand QM, accept counterinstances to distributive law. In 2-slit experiment, accept that th Add to Reading List Source URL: www.philosophy.ox.ac.uk Language: English - Date: 2008-05-15 07:08:18 Non-classical logic Philosophical logic Philosophy of mathematics Epistemology Mathematical constructivism Quantum logic Intuitionism Law of excluded middle Truth Logic Philosophy Science
142	Lecture 2. What is the Normative Role of Logic? What is the connection between (deductive) logic and rationality? One extreme: Frege. A law of logic is a law of rational thought. Seems problematic, if rational change of Add to Reading List Source URL: www.philosophy.ox.ac.uk Language: English - Date: 2008-05-15 07:08:30 Philosophical logic Branches of philosophy Belief Non-classical logic Epistemology Rationality Modal logic Is–ought problem Reason Philosophy Logic Knowledge
143	Double Dose of Double-Negation Translations Olivier Hermant CRI, MINES ParisTech June 2, 2014 Add to Reading List Source URL: www.cri.ensmp.fr Language: English - Date: 2014-12-23 09:38:50 Propositional calculus Boolean algebra Non-classical logic Logic in computer science Cut-elimination theorem Intuitionistic logic Sequent calculus Sequent First-order logic Mathematical logic Logic Proof theory
144	Semantic image analysis using a symbolic neural architecture Add to Reading List Source URL: www.islab.ntua.gr Language: English - Date: 2014-01-05 10:23:57 Mathematical logic Fuzzy logic Non-classical logic Computational neuroscience Learning Neuro-fuzzy Support vector machine Fuzzy concept Segmentation Logic Science Artificial intelligence
145	What’s in a Default? Thoughts on the Nature and Role of Defaults in Nonmonotonic Reasoning James Delgrande School of Computing Science, Simon Fraser University, Add to Reading List Source URL: www.cs.sfu.ca Language: English - Date: 2012-08-16 12:27:39 Non-classical logic Reasoning Logical consequence Knowledge representation Default logic Non-monotonic logic Inference Autoepistemic logic Entailment Logic Mathematical logic Logic programming
146	В издательстве «Физматлит» в 2004 г Add to Reading List Source URL: raai.org Language: English - Date: 2004-01-22 06:29:02 Non-classical logic Logic programming Philosophical logic Default logic Autoepistemic logic First-order logic Prolog Stable model semantics Non-monotonic logic Logic Mathematical logic Reasoning
147	1 Grounding is not a strict order1 Gonzalo Rodriguez‐Pereyra University of Oxford Add to Reading List Source URL: www.philosophy.ox.ac.uk Language: English - Date: 2015-02-04 09:27:38 Philosophical logic Ontology Philosophy of language Semantics Modal logic Non-classical logic Proposition Truth Causality Logic Philosophy Metaphysics
148	l!soMEr~ME!l IS so&fETIMEs Add to Reading List Source URL: research.microsoft.com Language: English - Date: 2000-07-12 18:31:52 Logic in computer science Model theory Non-classical logic Philosophical logic Modal logic Dynamic logic Temporal logic Assertion Axiom Logic Mathematical logic Mathematics
149	ARTIFICIAL INTELLIGENCE 71 Probabilistic Logic* Nils J . N i l s s o n Add to Reading List Source URL: ai.stanford.edu Language: English - Date: 2007-10-21 17:27:03 Non-classical logic Model theory Propositional calculus Logical syntax Probabilistic logic Entailment Modal logic Interpretation Probability Logic Mathematical logic Philosophical logic
150	Reasoning with Sets of Defaults in Default Logic Torsten Schaub∗ Institut f¨ur Informatik, Universit¨at Potsdam, Postfach, D–14415 Potsdam, Add to Reading List Source URL: www.cs.sfu.ca Language: English - Date: 2004-03-09 17:14:07 Mathematics Logic programming Reasoning Default logic Knowledge representation Defaults Non-monotonic logic Function Inference Logic Mathematical logic Non-classical logic

UPDATE